A New Approach to Base Revision
نویسندگان
چکیده
We present three approaches to revision of belief bases, which are also examined in the case in which the sentences in the base are partitioned between those which can and those which cannot be changed; the approaches are shown to be semantically equivalent. A new approach is then presented, based on the modification of individual rules, instead of deletion. The resulting base is semantically equivalent to that generated by the other approaches, in the sense that it has the same models, but the rule part alone has fewer models, that is, is subjected to a smaller change.
منابع مشابه
Fatal Cobalt Cardiomyopathy Following Revision Total Hip Arthroplasty – A Brief Report with Review of Literature
Ceramic bearing surfaces are being increasingly used in young patients undergoing total hip arthroplasty. However,failures have been reported including fractures even with the newer third generation ceramics. The recommendedtreatment for fracture of ceramic bearing surfaces is complete synovectomy and revision total hip arthroplasty.However, disappointing results have also bee...
متن کاملBase Revision for Ontology Debugging
Belief Revision deals with the problem of adding new information to a knowledge base in a consistent way. Ontology Debugging, on the other hand, aims to find the axioms in a terminological knowledge base which caused the base to become inconsistent. In this article, we propose a belief revision approach in order to find and repair inconsistencies in ontologies represented in some description lo...
متن کاملInvestigations into a Theory of Knowledge Base Revision
A fundamental problem in knowledge representation is how to revise knowledge when new, contradictory information is obtained. This paper formulates some desirable principles of knowledge revision, and investigates a new theory of knowledge revision that realizes these principles. This theory of revision can be explained at the knowledge level, in purely model-theoretic terms. A syntactic charac...
متن کاملIterated Belief Revision: A Computational Approach
The capability of revising its beliefs upon new information in a rational and efficient way is crucial for an intelligent agent. The classic AGM theory studies mathematically idealized models of belief revision in two aspects: the properties (i.e., the AGM postulates) a rational revision operator should satisfy; and how to construct concrete revision operators. In scenarios where new informatio...
متن کاملModifying is Better than Deleting: A New Approach to Base Revision
We present three approaches to revision of belief bases, discussing the case in which the sentences in the base are partitioned between those which can and those which cannot be changed; the approaches are shown to be semantically equivalent. A new approach is then presented, based on the modification of individual rules, instead of deletion. The revised base has the same models than those gene...
متن کاملDalal's Revision without Hamming Distance
A well known strategy for belief revision is the use of an operator which takes as input a belief base and formula and outputs a new consistent revised belief base. Many operators require additional information such as epistemic entrenchment relations, system of spheres, faithful orderings, subformulae relation, etc. However, in many applications this extra information does not exist and all be...
متن کامل